Shaoying Liu: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (15)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan (eds.)

Рік:

2014

Мова:

english

Файл:

PDF, 7.05 MB

0 / 0

english, 2014

2

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 4.74 MB

0 / 0

english, 2008

3

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima (auth.), Shaoying Liu (eds.)

Рік:

2013

Мова:

english

Файл:

PDF, 2.72 MB

0 / 0

english, 2013

4

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Takuya Katayama (auth.), Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 5.83 MB

0 / 0

english, 2008

5

Agile-SOFL

Agile-SOFL

Рік:

2024

Файл:

PDF, 3.58 MB

0 / 0

2024

6

儒家伦理思想与现代企业管理伦理

儒家伦理思想与现代企业管理伦理

北京：科学出版社

刘军，黄少英著, Liu Jun, Huang Shaoying zhu, 刘军, author, 劉軍

Рік:

2010

Мова:

Chinese

Файл:

PDF, 10.86 MB

0 / 0

Chinese, 2010

7

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Springer International Publishing

Kazuhiro Ogata, Mark Lawford, Shaoying Liu (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 25.10 MB

0 / 0

english, 2016

8

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Springer International Publishing

Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

Рік:

2019

Мова:

english

Файл:

PDF, 15.16 MB

0 / 0

english, 2019

9

Formal Engineering for Industrial Software Development: Using the SOFL Method

Formal Engineering for Industrial Software Development: Using the SOFL Method

Springer-Verlag Berlin Heidelberg

Shaoying Liu (auth.)

Рік:

2004

Мова:

english

Файл:

PDF, 6.47 MB

0 / 0

english, 2004

10

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya (eds.)

Рік:

2017

Мова:

english

Файл:

PDF, 15.86 MB

0 / 0

english, 2017

11

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 14.26 MB

0 / 0

english, 2016

12

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Springer International Publishing

Shaoying Liu, Zhenhua Duan (eds.)

Рік:

2015

Мова:

english

Файл:

PDF, 11.94 MB

0 / 0

english, 2015

13

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Shaoying Liu, Zhenhua Duan, Ai Liu, (eds.)

Рік:

2023

Мова:

english

Файл:

PDF, 8.34 MB

0 / 0

english, 2023

14

Structured Object-Oriented Formal Language and Method. 11th International Workshop, SOFL+MSVL 2022 Madrid, Spain, October 24, 2022 Revised Selected Papers

Structured Object-Oriented Formal Language and Method. 11th International Workshop, SOFL+MSVL 2022 Madrid, Spain, October 24, 2022 Revised Selected Papers

Shaoying Liu, Zhenhua Duan, Ai Liu, (eds.)

Рік:

2023

Мова:

english

Файл:

PDF, 8.34 MB

0 / 5.0

english, 2023

15

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

Springer Nature

Shaoying Liu, Zhenhua Duan, Ai Liu

Рік:

2023

Мова:

english

Файл:

EPUB, 15.21 MB

0 / 0

english, 2023